Declarative programming - PDFSEARCH.IO - Document Search Engine

Declarative programming
Results: 415

#	Item
281	C:ge.wkumbiaeses2.wpd Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2005-06-30 12:00:17 Computer programming .py Demand Py Cons .pk Function Country code top-level domains Mathematics Declarative programming
282	Query Caching in Agent Programming Languages Natasha Alechina1 , Tristan Behrens2 , Koen Hindriks3 , and Brian Logan1 1 School of Computer Science University of Nottingham Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2013-02-15 08:39:45 Computer programming Database management systems 2APL Prolog Database Declarative programming Computing Software engineering Multi-agent systems
283	P ROCEEDINGS OF THE ERCIM Workshop on Constraint Solving and Constraint Logic Programming, 2011 http://csclp2011.cs.st-andrews.ac.uk April 12th-13th, 2011 Editors Add to Reading List Source URL: csclp2011.cs.st-andrews.ac.uk Language: English - Date: 2011-04-11 08:39:34 Computer programming Constraint satisfaction Constraint logic programming Logic programming Answer set programming Mathematical optimization Oz ECLiPSe Constraint graph Constraint programming Software engineering Declarative programming
284	Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire Erik Meijer Maarten Fokkinga y Add to Reading List Source URL: eprints.eemcs.utwente.nl Language: English - Date: 2006-12-22 08:04:21 Category theory Recursion Higher-order functions Functional programming Functions and mappings Fold Anamorphism Catamorphism Map Mathematics Declarative programming Software engineering
285	Higher-Order Functional Reactive Programming in Bounded Space Neelakantan R. Krishnaswami Nick Benton Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-11-14 06:01:35 Functional programming Algebraic topology Fold Recursion Valuation Sheaf Append Monad Natural deduction Abstract algebra Software engineering Declarative programming
286	Query Caching in Agent Programming Languages Natasha Alechina1 , Tristan Behrens2 , Koen Hindriks3 , and Brian Logan1 1 School of Computer Science University of Nottingham Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-05-31 10:51:10 Computer programming Programming paradigms 2APL Prolog Database Declarative programming Knowledge representation and reasoning Computing Software engineering Multi-agent systems
287	Query Caching in Agent Programming Languages Natasha Alechina1 , Tristan Behrens2 , Koen Hindriks3 , and Brian Logan1 1 School of Computer Science University of Nottingham Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-06-25 12:15:53 Computer programming Programming paradigms 2APL Prolog Database Declarative programming Knowledge representation and reasoning Computing Software engineering Multi-agent systems
288	Simulating Quantified Class Constraints Valery Trifonov Department of Computer Science Yale University New Haven, CT, USA[removed] Add to Reading List Source URL: flint.cs.yale.edu Language: English - Date: 2003-08-22 11:33:07 Declarative programming Data types Functional programming Higher-order functions Literate programming Type class Generic programming Map Haskell Software engineering Computing Type theory
289	Functional Programming with Structured Graphs Bruno C. d. S. Oliveira William R. Cook National University of Singapore Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2015-01-22 14:17:56 Recursion Lambda calculus Functional programming Higher-order functions Computability theory Fixed-point combinator Generic programming Fold Functor Software engineering Mathematics Declarative programming
290	Functional Programming with Structured Graphs Bruno C. d. S. Oliveira William R. Cook National University of Singapore Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2015-01-22 14:17:56 Recursion Lambda calculus Functional programming Higher-order functions Computability theory Fixed-point combinator Generic programming Fold Functor Software engineering Mathematics Declarative programming

UPDATE